/* H.Profile: Header file for profiling options.
 *
 * Version 1.00, 04-06-1990
 *
 * Copyright (C) Ferdinand Oeinck 1990
 *
 * Modified, Paul Moore 02/06/91.
 *   To conform to the conventions of my "Utils" library.
 */

#ifndef __profile_h
#define __profile_h

#define Profile_Time	0
#define Profile_Count	1

#ifdef PROFILE
#define profile_init(filename,type)		\
	(void) (type == Profile_Time ?		\
		profile_init_time(filename) :	\
		profile_init_count(filename)	\
	)
#else
#define profile_init(filename,type)
#endif

extern void profile_init_time	(const char *);
extern void profile_init_count	(const char *);

#endif
